Stratified Static Analysis Based on Variable Dependencies
نویسندگان
چکیده
منابع مشابه
Stratified Static Analysis Based on Variable Dependencies
In static analysis by abstract interpretation, one often uses widening operators in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra, exhibit an unintuitive behavior: analyzing the program over a subset of its variables may lead a more precise result than analyzing the original program! In th...
متن کاملStatic Filtering on Stratified Programs
Chang, B.-M., K.-M. Choe and T. Han, Static filtering on stratified programs, Information Processing Letters 47 (1993) 237-244. We extend static filtering in 181, a query optimization strategy based on seminaive evaluation on system graphs. so that it can efficiently handle stratified programs without extra overhead. The computation of static filters is formalized as a transformation so that th...
متن کاملOn Variable Dependencies and Compressed Pattern Databases
Pattern databases are among the strongest known heuristics for many classical search benchmarks such as sliding-tile puzzles, the 4-peg Towers of Hanoi puzzles, Rubik’s Cube, and TopSpin. Min-compression is a generally applicable technique for augmenting pattern database heuristics that has led to marked experimental improvements in some settings, while being ineffective in others. We provide a...
متن کاملData Analysis Based on Functional Dependencies
We present a novel approach to the design of schemas appropriate for data analysis; we call such schemas “analysis contexts”. Roughly speaking, an analysis context is a set of paths with common origin, in which the nodes are attributes and the edges are functional dependencies. Our main contributions are (a) an algorithm for generating all analysis contexts embodied in a set of attributes and a...
متن کاملStatic Analysis of App Dependencies in Android Bytecode
Android applications (apps) are highly interactive, but have— by design—no facilities to declare dependencies reflecting such interactions. Dependencies are hidden in code and uncovering them requires static analysis techniques. This technical note presents our static analysis infrastructure to extract dependency information from Android (Dalvik) bytecode. This infrastructure is used in a study...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2012
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2012.10.008